Computer languages - PDFSEARCH.IO - Document Search Engine

Computer languages
Results: 15814

#	Item
921	On the topological complexity of weakly recognizable tree languages Jacques Duparc1 and Filip Murlak2? 1 Universit´e de Lausanne, Switzerland Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2007-06-16 19:01:23 Mathematical logic Mathematics Omega language Tree Wadge hierarchy Determinacy Symbol Regular language Ω-automaton Automata theory Formal languages Theoretical computer science
922	Emerson: Scripting for Federated Virtual Worlds Bhupesh Chandra∗ , Ewen Cheslack-Postava∗ , Behram F.T. Mistree∗ , Philip Levis∗ , and David Gay† ∗ Stanford University Email: {bhupc, ewencp, bmistree}@stanfor Add to Reading List Source URL: www.sirikata.com Language: English - Date: 2012-06-13 08:57:57 Scripting languages Object-oriented programming Event Smalltalk Second Life Actor model JavaScript Ralph Waldo Emerson Self Computing Software engineering Computer programming
923	The HOP Development Kit Manuel Serrano Inria Sophia Antipolis 2004 route des Lucioles - BP 93 FSophia Antipolis, Cedex, France http://www.inria.fr/mimosa/Manuel.Serrano Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:10 Computer file formats HTML RSS Document Object Model XML Hop Service-oriented architecture Programming language Application programming interface Computing Technical communication Markup languages
924	Porting GCC to the IBM S/390 platform Hartmut Penner Ulrich Weigand IBM Deutschland Entwicklung GmbH Schönaicher Str. 220, 71032 Böblingen, Germany {hpenner, uweigand}@de.ibm.com Add to Reading List Source URL: gcc.cybermirror.org Language: English - Date: 2004-08-29 18:00:00 Assembly languages Central processing unit Instruction set architectures Addressing mode Machine code Pointer Literal pool Memory address 64-bit Computing Computer architecture Software
925	The animate Package Alexander Grahn ∗ 24th May 2012 Add to Reading List Source URL: www.bakoma-tex.com Language: English - Date: 2012-09-05 01:09:03 Software PGF/TikZ Computer animation Animation PdfTeX Graphics Interchange Format PSTricks TeX Stack Application software Computing Macro programming languages
926	BRICS RSBiernacki et al.: On the Dynamic Extent of Delimited Continuations BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-04-29 09:58:56 Continuations Control flow Subroutines Delimited continuation Functional languages Call-with-current-continuation Standard ML ConTeXt Tree traversal Software engineering Computing Computer programming
927	Information Integration Across Heterogeneous Sources: Where Do We Stand and How to Proceed? ∗ Aditya Telang and Sharma Chakravarthy and Yan Huang† IT Laboratory & Department of Computer Science & Engineering The Univ Add to Reading List Source URL: www.cse.unt.edu Language: English - Date: 2013-08-12 14:29:33 Data Computing Computer languages Database theory Data integration Federated database system Database Data mining Semantic Web Data management Database management systems Information
928	Tamarin and ECMAScript 4 John Resig (ejohn.org) Mozilla Corporation The Big Picture ECMAScript 3 Add to Reading List Source URL: ejohn.org Language: English - Date: 2010-10-28 16:25:41 Scripting languages Cross-platform software Mozilla JavaScript engines ECMAScript Virtual machines JavaScript Tamarin KJS Software Computing Computer programming
929	BRICS DS-05-2 J. Iversen: Formalisms and tools supporting Constructive Action Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-01-15 18:51:53 Programming language semantics Action semantics Formal languages Peter Mosses Programming language SYNTAX ASF+SDF Meta Environment Programming language theory Theoretical computer science Software engineering
930	BRICS Basic Research in Computer Science BRICS DS-01-4 M. Rhiger: Higher-Order Program Generation Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-08 09:02:48 Functional languages Type theory Data types Lambda calculus Logic in computer science Type system ML OCaml Partial evaluation Software engineering Programming language theory Computing

UPDATE